Towards a Double Pushout Transformation of Algebras
نویسندگان
چکیده
منابع مشابه
Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach
The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now, and it has motivated the development of the so-called double-pushout and single-pushout approaches to graph transformation. In this article we extend the double-pushout approach to the algebraic transformation of partial many-sorted unary algebras. Such a generalization...
متن کاملDouble-pushout graph transformation revisited
In this paper we investigate and compare four variants of the double-pushout approach to graph transformation. As well as the traditional approach with arbitrary matching and injective right-hand morphisms, we consider three variations by employing injective matching and/or arbitrary right-hand morphisms in rules. We show that injective matching provides additional expressiveness in two respect...
متن کاملSingle-Pushout Transformation Of Total Algebras
We characterize the pairs of partial homomorphisms of total Σ-algebras that have a pushout in the corresponding category, for an arbitrary signature Σ. This characterization provides the application condition for the single-pushout approach to the transformation of total algebras.
متن کاملAlgebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach
The single-pushout approach to graph transformation is extended to the algebraic transformation of partial many-sorted unary algebras. The main result presented in this article is an algebraic characterization of the single-pushout transformation in the categories of all conformisms, all closed quomorphisms, and all closed-domain closed quomorphisms of unary partial algebras over a given signat...
متن کاملPolymorphic Single-Pushout Graph Transformation
Impressum Forschungsberichte der FHDW Hannover – Veröffentlichungen aus dem Bereich Forschung und Entwicklung der FHDW Hannover. Abstract. The paper extends single-pushout graph transformation by poly-morphism, a key concept in object-oriented design. The notions sub-rule and remainder, well-known in single-pushout rewriting, are applied to model dynamic rule extension and type dependent rule a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80209-3